首页> 外文OA文献 >Verification of Clock Synchronization Algorithms: Experiments on a combination of deductive tools

【2h】

Verification of Clock Synchronization Algorithms: Experiments on a combination of deductive tools

机译：验证时钟同步算法：对演绎工具组合的实验

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Damian Barsotti; Leonor Prensa Nieto; Alwen Tiu;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Verification of clock synchronization algorithms: experiments on a combination of deductive tools [J] . Damian Barsotti, Leonor Prensa Nieto, Alwen Tiu Formal Aspects of Computing . 2007,第3期

机译：验证时钟同步算法：结合演绎工具进行的实验
2. BSP-Why: A Tool for Deductive Verification of BSP Algorithms with Subgroup Synchronisation [J] . Jean Fortin, Frederic Gava International journal of parallel programming . 2016,第3期

机译：BSP-为什么：带有子组同步的BSP算法演绎验证工具
3. Using integer clocks to verify clock-synchronization protocols [J] . Xiaowan Huang, Anu Singh, Scott A. Smolka Innovations in Systems and Software Engineering . 2011,第2期

机译：使用整数时钟来验证时钟同步协议
4. Mechanical verification of clock synchronization algorithms [C] . D.Schwier, F.von Henke International symposium on formal techniques in real-time and fault-tolerant systems . 1998

机译：时钟同步算法的机械验证
5. Abstraction-based deductive-algorithmic verification of reactive systems. [D] . Uribe Restrepo, Tomas E. 1999

机译：反应系统基于抽象的演绎算法验证。
6. Development of a Sensor Network System with High Sampling Rate Based on Highly Accurate Simultaneous Synchronization of Clock and Data Acquisition and Experimental Verification [O] . Yuji Yamakawa, Yutaro Matsui, Akihito Noda, 2018

机译：基于高精度时钟同步和数据采集与实验验证的高采样率传感器网络系统的开发
7. Verification of Clock Synchronization Algorithms: Experiments on a combination of deductive tools [O] . Barsotti, Damian, Prensa Nieto, Leonor, Tiu, Alwen 2007

机译：验证时钟同步算法：演绎工具组合的实验
8. A Formally Verified Algorithm for Clock Synchronization Under a Hybrid Fault Model [R] . Rushby, John 1996

机译：一种混合故障模型下时钟同步的形式化验证算法

Verification of Clock Synchronization Algorithms: Experiments on a combination of deductive tools

著录项

引文网络

相似文献

相关主题

期刊订阅